Optimal. Leaf size=308 \[ \frac{2 \sqrt{-b} d \sqrt{x} \sqrt{\frac{c x}{b}+1} \sqrt{\frac{e x}{d}+1} (c d-b e) (2 c d-b e) \text{EllipticF}\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right ),\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{b x+c x^2} \sqrt{d+e x}}-\frac{4 \sqrt{-b} \sqrt{x} \sqrt{\frac{c x}{b}+1} \sqrt{d+e x} \left (b^2 e^2-b c d e+c^2 d^2\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right )|\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{b x+c x^2} \sqrt{\frac{e x}{d}+1}}+\frac{2 \sqrt{b x+c x^2} (d+e x)^{3/2}}{5 e}-\frac{2 \sqrt{b x+c x^2} \sqrt{d+e x} (2 c d-b e)}{15 c e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.341274, antiderivative size = 308, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 8, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.348, Rules used = {734, 832, 843, 715, 112, 110, 117, 116} \[ -\frac{4 \sqrt{-b} \sqrt{x} \sqrt{\frac{c x}{b}+1} \sqrt{d+e x} \left (b^2 e^2-b c d e+c^2 d^2\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right )|\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{b x+c x^2} \sqrt{\frac{e x}{d}+1}}+\frac{2 \sqrt{-b} d \sqrt{x} \sqrt{\frac{c x}{b}+1} \sqrt{\frac{e x}{d}+1} (c d-b e) (2 c d-b e) F\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right )|\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{b x+c x^2} \sqrt{d+e x}}+\frac{2 \sqrt{b x+c x^2} (d+e x)^{3/2}}{5 e}-\frac{2 \sqrt{b x+c x^2} \sqrt{d+e x} (2 c d-b e)}{15 c e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 734
Rule 832
Rule 843
Rule 715
Rule 112
Rule 110
Rule 117
Rule 116
Rubi steps
\begin{align*} \int \sqrt{d+e x} \sqrt{b x+c x^2} \, dx &=\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}-\frac{\int \frac{\sqrt{d+e x} (b d+(2 c d-b e) x)}{\sqrt{b x+c x^2}} \, dx}{5 e}\\ &=-\frac{2 (2 c d-b e) \sqrt{d+e x} \sqrt{b x+c x^2}}{15 c e}+\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}-\frac{2 \int \frac{\frac{1}{2} b d (c d+b e)+\left (c^2 d^2-b c d e+b^2 e^2\right ) x}{\sqrt{d+e x} \sqrt{b x+c x^2}} \, dx}{15 c e}\\ &=-\frac{2 (2 c d-b e) \sqrt{d+e x} \sqrt{b x+c x^2}}{15 c e}+\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}+\frac{(d (c d-b e) (2 c d-b e)) \int \frac{1}{\sqrt{d+e x} \sqrt{b x+c x^2}} \, dx}{15 c e^2}-\frac{\left (2 \left (c^2 d^2-b c d e+b^2 e^2\right )\right ) \int \frac{\sqrt{d+e x}}{\sqrt{b x+c x^2}} \, dx}{15 c e^2}\\ &=-\frac{2 (2 c d-b e) \sqrt{d+e x} \sqrt{b x+c x^2}}{15 c e}+\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}+\frac{\left (d (c d-b e) (2 c d-b e) \sqrt{x} \sqrt{b+c x}\right ) \int \frac{1}{\sqrt{x} \sqrt{b+c x} \sqrt{d+e x}} \, dx}{15 c e^2 \sqrt{b x+c x^2}}-\frac{\left (2 \left (c^2 d^2-b c d e+b^2 e^2\right ) \sqrt{x} \sqrt{b+c x}\right ) \int \frac{\sqrt{d+e x}}{\sqrt{x} \sqrt{b+c x}} \, dx}{15 c e^2 \sqrt{b x+c x^2}}\\ &=-\frac{2 (2 c d-b e) \sqrt{d+e x} \sqrt{b x+c x^2}}{15 c e}+\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}-\frac{\left (2 \left (c^2 d^2-b c d e+b^2 e^2\right ) \sqrt{x} \sqrt{1+\frac{c x}{b}} \sqrt{d+e x}\right ) \int \frac{\sqrt{1+\frac{e x}{d}}}{\sqrt{x} \sqrt{1+\frac{c x}{b}}} \, dx}{15 c e^2 \sqrt{1+\frac{e x}{d}} \sqrt{b x+c x^2}}+\frac{\left (d (c d-b e) (2 c d-b e) \sqrt{x} \sqrt{1+\frac{c x}{b}} \sqrt{1+\frac{e x}{d}}\right ) \int \frac{1}{\sqrt{x} \sqrt{1+\frac{c x}{b}} \sqrt{1+\frac{e x}{d}}} \, dx}{15 c e^2 \sqrt{d+e x} \sqrt{b x+c x^2}}\\ &=-\frac{2 (2 c d-b e) \sqrt{d+e x} \sqrt{b x+c x^2}}{15 c e}+\frac{2 (d+e x)^{3/2} \sqrt{b x+c x^2}}{5 e}-\frac{4 \sqrt{-b} \left (c^2 d^2-b c d e+b^2 e^2\right ) \sqrt{x} \sqrt{1+\frac{c x}{b}} \sqrt{d+e x} E\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right )|\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{1+\frac{e x}{d}} \sqrt{b x+c x^2}}+\frac{2 \sqrt{-b} d (c d-b e) (2 c d-b e) \sqrt{x} \sqrt{1+\frac{c x}{b}} \sqrt{1+\frac{e x}{d}} F\left (\sin ^{-1}\left (\frac{\sqrt{c} \sqrt{x}}{\sqrt{-b}}\right )|\frac{b e}{c d}\right )}{15 c^{3/2} e^2 \sqrt{d+e x} \sqrt{b x+c x^2}}\\ \end{align*}
Mathematica [C] time = 1.1264, size = 294, normalized size = 0.95 \[ \frac{2 \left (b e x (b+c x) (d+e x) (b e+c (d+3 e x))+\sqrt{\frac{b}{c}} \left (i b e x^{3/2} \sqrt{\frac{b}{c x}+1} \sqrt{\frac{d}{e x}+1} \left (2 b^2 e^2-3 b c d e+c^2 d^2\right ) \text{EllipticF}\left (i \sinh ^{-1}\left (\frac{\sqrt{\frac{b}{c}}}{\sqrt{x}}\right ),\frac{c d}{b e}\right )-2 i b e x^{3/2} \sqrt{\frac{b}{c x}+1} \sqrt{\frac{d}{e x}+1} \left (b^2 e^2-b c d e+c^2 d^2\right ) E\left (i \sinh ^{-1}\left (\frac{\sqrt{\frac{b}{c}}}{\sqrt{x}}\right )|\frac{c d}{b e}\right )-2 \sqrt{\frac{b}{c}} (b+c x) (d+e x) \left (b^2 e^2-b c d e+c^2 d^2\right )\right )\right )}{15 b c e^2 \sqrt{x (b+c x)} \sqrt{d+e x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.289, size = 681, normalized size = 2.2 \begin{align*}{\frac{2}{15\,x \left ( ce{x}^{2}+bxe+cdx+bd \right ){c}^{3}{e}^{2}}\sqrt{ex+d}\sqrt{x \left ( cx+b \right ) } \left ( \sqrt{-{\frac{cx}{b}}}{\it EllipticF} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}{b}^{3}cd{e}^{2}-3\,\sqrt{-{\frac{cx}{b}}}{\it EllipticF} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}{b}^{2}{c}^{2}{d}^{2}e+2\,\sqrt{-{\frac{cx}{b}}}{\it EllipticF} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}b{c}^{3}{d}^{3}+2\,\sqrt{-{\frac{cx}{b}}}{\it EllipticE} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}{b}^{4}{e}^{3}-4\,\sqrt{-{\frac{cx}{b}}}{\it EllipticE} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}{b}^{3}cd{e}^{2}+4\,\sqrt{-{\frac{cx}{b}}}{\it EllipticE} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}{b}^{2}{c}^{2}{d}^{2}e-2\,\sqrt{-{\frac{cx}{b}}}{\it EllipticE} \left ( \sqrt{{\frac{cx+b}{b}}},\sqrt{{\frac{be}{be-cd}}} \right ) \sqrt{{\frac{cx+b}{b}}}\sqrt{-{\frac{c \left ( ex+d \right ) }{be-cd}}}b{c}^{3}{d}^{3}+3\,{x}^{4}{c}^{4}{e}^{3}+4\,{x}^{3}b{c}^{3}{e}^{3}+4\,{x}^{3}{c}^{4}d{e}^{2}+{x}^{2}{b}^{2}{c}^{2}{e}^{3}+5\,{x}^{2}b{c}^{3}d{e}^{2}+{x}^{2}{c}^{4}{d}^{2}e+x{b}^{2}{c}^{2}d{e}^{2}+xb{c}^{3}{d}^{2}e \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{c x^{2} + b x} \sqrt{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\sqrt{c x^{2} + b x} \sqrt{e x + d}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{x \left (b + c x\right )} \sqrt{d + e x}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{c x^{2} + b x} \sqrt{e x + d}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]